From a35fe510a48177602f0092333ecbbb59ed4c038e Mon Sep 17 00:00:00 2001 From: Sven Luther Date: Fri, 17 Oct 2003 09:11:18 +0000 Subject: [PATCH] Changed to urgency high, to make a quick upload so as to not delay the testing migration too much. --- debian/changelog | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index b2942b57..c579ab34 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,4 +1,4 @@ -ocaml (3.07-7) unstable; urgency=low +ocaml (3.07-7) unstable; urgency=high * Fixed hppa build problem : hppa needs doubleword aligned doubles. * Removed .dpatch extensions for debian/patches/00list, should enable to -- 2.30.2